\begin{tabbing}
prod{-}deq{-}aux\=\{v:l, i:l\}\+
\\[0ex]($A$; $B$; $a$; $b$)
\-\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$TERMOF\{proddeq{-}property:ObjectId, v:l, i:l\}($A$,$B$,$a$,$b$)
\end{tabbing}